- Church
- I
Church,Turing-Maschine.IIChurch[tʃəːtʃ],1) Alonzo, amerikanischer Mathematiker und Logiker, * Washington (D. C.) 14. 6. 1903, ✝ Hudson (Ohio) 11. 8. 1995; seit 1939 Professor an der Princeton University, seit 1967 an der University of California in Los Angeles; bewies 1936 die Unentscheidbarkeit (Entscheidung) der Kalküle der Quantorenlogik. 1936 schlug er auch die churchsche Hypothese vor, als er bei der Untersuchung von Algorithmen feststellte, dass die intuitiv berechenbaren Funktionen allgemein rekursiv sind (rekursive Funktion). Church entwickelte außerdem seinen mit einem erweiterten Funktionenbegriff arbeitenden »Lambdakalkül« (1932/33) und gab ein System der kombinatorischen Logik an; auch wesentliche Beiträge zur symbolischen Logik.Werke: The calculi of lambda-conversion (1941); Elementary topics in mathematical logic (1942); Introduction to mathematical logic (1956).2) Frederick Edwin, amerikanischer Maler, * Hartford (Conneticut) 4. 5. 1826, ✝ New York 7. 4. 1900; Schüler von T. Cole, Vertreter der Hudson River School. Church malte während seiner Reisen (Südamerika, Labrador, Griechenland, Damaskus) in großer Detailtreue Landschaftsbilder, deren Motivwahl durch die Publikationen A. von Humboldts angeregt wurde.3) Richard Thomas, englischer Schriftsteller, * London 26. 3. 1893, ✝ Cranbrook (County Kent) 4. 3. 1972; schrieb stimmungsvolle Lyrik, psychologische Romane, kritische Studien. Aufsehen als ein Meisterwerk ihrer Gattung erregte seine dreiteilige Autobiographie.Werke: Lyrik: Collected poems (1948); North of Rome (1960).Romane: The stronghold (1939; deutsch Das Bollwerk); Dangerous years (1956; deutsch Die gefährlichen Jahre).Essays: Growth of the English novel (1951); Calm October (1961); A stroll before dark (1965).Autobiographie: Over the bridge (1955; deutsch Über die Brücke); The golden sovereign (1957); The voyage home (1964).
Universal-Lexikon. 2012.
